xenctx: change is_kernel_text() into kernel_addr().
authorDon Slutz <dslutz@verizon.com>
Thu, 3 Apr 2014 19:07:04 +0000 (15:07 -0400)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 4 Apr 2014 08:28:08 +0000 (09:28 +0100)
commit39b63b8b28f25d59db034d953aa91f98b5e94ae6
tree54f917adc0f278d8cc13bcbb24ce280452fdce62
parent3dfff09dbe2f5e3b4e38c2ff684e0e7567247393
xenctx: change is_kernel_text() into kernel_addr().

A new enum has been added to allow the caller to determine if this
kernel address is a text or data address.  This is currenlty not
used, but will be in the next patch.

Add both _end and __bss_stop as kernel_end.

Signed-off-by: Don Slutz <dslutz@verizon.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/xentrace/xenctx.c